Safety Design for Simulation Models based on Formal Methods

a study on thermodynamic models for simulation of 1,3 butadiene purification columns

attempts have been made to study the thermodynamic behavior of 1,3 butadiene purification columns with the aim of retrofitting those columns to more energy efficient separation schemes. 1,3 butadiene is purified in two columns in series through being separated from methyl acetylene and 1,2 butadiene in the first and second column respectively. comparisons have been made among different therm...

Formal Models for Communication-Based Design

Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and implemented. Concurrency is about communicating processes. We introduce an abstract formal way of representing communication among processes and we show how to re ne this representation towards implementation. To this end,...

Formal Safety Assessment via Contract-Based Design

Safety Assessment (SA) is an engineering discipline aiming at the analysis of systems under faults. According to industrial practice and standards, SA is based on the construction of complex artifacts such as Fault Trees, which describe how certain faults may cause some top-level events. SA is intended to mirror the hierarchical design of the system focusing on the safety aspects. In this paper...

Proof-based formal methods for WSN development with Simulation Approach

Workshop on Formal Design Of Safety Critical

After investigating the typical hardware structure of a safety critical embedded system, we classify the various heterogeneous components with respect to certain criterias (e.g. manufacturing technology like microelectronics, micromechanics, microoptics; material, energy or information flow; discrete or contineous). Depending on classification, different modelling techniques must be used on dif...